On the efficiency of revocation in RSA-based anonymous systems

© 2016 IEEEThe problem of revocation in anonymous authentication systems is subtle and has motivated a lot of work. One of the preferable solutions consists in maintaining either a whitelist L-W of non-revoked users or a blacklist L-B of revoked users, and then requiring users to additionally prove, when authenticating themselves, that they are in L-W (membership proof) or that they are not in L-B (non-membership proof). Of course, these additional proofs must not break the anonymity properties of the system, so they must be zero-knowledge proofs, revealing nothing about the identity of the users. In this paper, we focus on the RSA-based setting, and we consider the case of non-membership proofs to blacklists L = L-B. The existing solutions for this setting rely on the use of universal dynamic accumulators; the underlying zero-knowledge proofs are bit complicated, and thus their efficiency; although being independent from the size of the blacklist L, seems to be improvable. Peng and Bao already tried to propose simpler and more efficient zero-knowledge proofs for this setting, but we prove in this paper that their protocol is not secure. We fix the problem by designing a new protocol, and formally proving its security properties. We then compare the efficiency of the new zero-knowledge non-membership protocol with that of the protocol, when they are integrated with anonymous authentication systems based on RSA (notably, the IBM product Idemix for anonymous credentials). We discuss for which values of the size k of the blacklist L, one protocol is preferable to the other one, and we propose different ways to combine and implement the two protocols.Postprint (author's final draft

Critical Audiovisual Literacy in the Information Society. An On-going Training Expericnce

Este artículo describe una experiencia de alfabetización audiovisual crítica dirigida a los trabajadores de la administración pública (del ámbito de la salud, educación, etc.) de una Comunidad Autónoma española. Entendiendo que la formación para el trabajo puede abarcar otras vertientes que la de la mera especialización en un puesto laboral, se desarrolló un proceso de educación virtual dirigido a descifrar cómo se construyen los mensajes audiovisuales en los medios de comunicación de masas, desvelando así su intención fundamental de crear identidades de ciudadanía ligadas fundamentalmente al consumo excesivo de diferentes productos.This article describes an experience in critical audiovisual literacy aimed at public administration workers (in the area of health, education, and so on) in a Spanish Autonomous Community. With the understanding that training for work can develop angles other than the simple specialization required for a work post, we set in motion an elearning process aimed at deciphering how audiovisual messages in the mass media are constructed, revealing in this way that their basic intention is to create citizenship identities fundamentally linked to the excessive consumption of different products

The cost overrun of depopulation to improve energy efficiency in buildings: A case study in the Mediterranean Region

The implementation of energy efficiency measures in public buildings is a complex process that hinges on multiple factors. A factor relevant for some European regions is their ongoing depopulation. In these regions, building energy retrofitting presents additional challenges to those in urban areas, such as over-dimensioned public buildings and low occupancy levels. This work analyses these challenges in the province of Teruel (Spain), one of the regions with the highest depopulation levels in Spain. To this end, a methodology has been developed to assess the effect of depopulation on the cost of upgrading public buildings to improve their energy efficiency. The results show that the investment required per inhabitant for building retrofitting is approximately four times as high in depopulated areas as in urban areas. Furthermore, the low occupancy levels of public buildings can triple the payback time of some energy efficiency measures. To overcome these barriers, in addition to specific policies for depopulated areas, energy planning is essential. An adequate action plan, combining the implementation of energy efficiency measures and the integration of renewable energies in buildings, is the most effective tool to improve the sustainability of public buildings circumventing the barriers created by depopulation

Oro negro : Jóvenes petroleros, representaciones sociales en torno al consumo

“Oro Negro. Jóvenes petroleros, representaciones sociales en torno al consumo”, es un trabajo de investigación contextualizado en Comodoro Rivadavia, ciudad petrolera por naturaleza e historia. Surge a partir del interés personal por el fenómeno desatado por un nuevo boom de la industria, que a partir de la reactivación económica en 2003, presenta un fuerte contraste entre la crisis vivida hasta el momento en la ciudad y la irrupción de un trabajo bien remunerado que se expresa fundamentalmente en el consumo que realizan. Analizar el consumo desde la mirada de los jóvenes petroleros de Comodoro Rivadavia, implica ir más allá de la mirada reduccionista del mercado, para complejizar los entramados sociales que se vislumbran a partir del fenómeno. Implica además aportar una visión poco explorada hasta el momento, que es analizar el consumo de estos jóvenes petroleros desde su aspecto comunicacional, es decir lo que representa socialmente para ellos obtener y usar ciertos bienes; los significados que se encuentran en el acto de consumo.Facultad de Periodismo y Comunicación Socia

Revocació en Sistemes de Autenticació Anònims

An attribute-based signature with respect to a signing policy chosen by the signer, convinces the verifier that the signer sustains a subset of attributes satisfying that signing policy. The verifier must not obtain any other information about the identity of the signer or the attributes he holds. This type of signatures have a lot of applications in real life scenarios that demand both authentication and privacy properties. The ability of revoking users that have misbehaved or lost their attributes, so that they can not compute more valid signatures, is very desirable for real life applications of attribute-based signatures. In this project, the main goal consists in studying different protocols of revocation and incorporating them into an already existing RSA attribute-based signature. In order to achieve these objectives, two different protocols were chosen from those available in the literature, taking into account the efficiency of the existing protocols and the necessity that the protocol is built in an anonymous way: the user must not reveal his identity when proving that he is not in the revocation list. The first one is based on a polynomial evaluation argument, and some of its main advantages are that this argument has logarithmic communication cost in the number of revoked users in contrast to other protocols with cubic root complexity at best, thus obtaining a more efficient protocol and besides its security relies only on the discrete logarithm assumption. The second one was based on a protocol for special cases when the revoked elements are coprime, since in the attribute based signature the elements are prime, this protocol was considered suitable. While demonstrating its soundness it was found that the original protocol was not secure because we found a particular attack (that we describe in this work). Thus, a new secure protocol was designed which fits with the attribute-based signature. Finally, the previous protocols have been incorporated into an existing RSA attribute-based signature scheme, and both resulting signatures have been analyzed in terms of efficiency of the communication cost. The second protocol is shown to be always more efficient than the first one, even for the case with a single revoked user.Una firma basada en atributos con relación a una política de firmas elegida por el firmante, convence al verificador que el firmante tiene un subconjunto de atributos que satisfacen la política de firmas. El verificador no obtendrá ninguna información sobre la identidad del firmante o sobre los atributos que tiene. Este tipo de firmas tiene muchas aplicaciones en situaciones de la vida real que demandan autenticación y privacidad al mismo tiempo. La habilidad para revocar a usuarios que se han comportado mal o han perdido sus atributos y ya no pueden computar más firmas válidas, es muy deseable para aplicaciones de firmas basadas en atributos en la vida real. En este proyecto, el principal objetivo consiste en estudiar diferentes protocolos de revocación e incorporarlos a un esquema de una firma RSA basada en atributos ya existente. Para poder alcanzar estos objetivos, dos protocolos fueron elegidos entre los disponibles en la literatura existente, teniendo en cuenta la eficiencia de los protocolos existentes y la necesidad de que el protocolo haya sido construido de manera anónima: el usuario no puede revelar su identidad en el momento de probar que él no está en la lista de revocación. El primer protocolo está basado en un argumento de evaluación de polinomios, y una de sus principales ventajas es que tiene coste de comunicación logarítmica en el número de usuarios revocados en contraste con otros protocolos con complejidad cúbica en el mejor caso, por lo tanto se obtiene un protocolo más eficiente y además su seguridad sólo depende de la conjetura del logaritmo discreto. El segundo protocolo está basado en un protocolo para situaciones especiales cuando los elementos en la lista de revocación son números coprimos dos a dos, como en la firma basada en atributos los elementos son primos, este protocolo fue considerado como una buena posibilidad. Mientras se estaba demostrando la solidez del protocolo nos dimos cuenta que el protocolo original no era seguro porque encontramos un ataque (que está descrito en el proyecto). Por lo tanto, un nuevo protocolo seguro fue diseñado que sirve para la firma basada en atributos. \vspace{0.2cm}\\ Finalmente, los protocolos previos fueron han sido incorporados a la firma RSA basada en atributos existente, y las dos firmas resultantes han sido analizadas en términos de la eficiencia del coste de comunicación. El segundo protocolo se demuestra que siempre es más eficiente que el primero, incluso en el caso de un solo usuario revocado.Una signatura basada en atributs en relació amb una política de signatures triada pel signant, convenç al verificador que el signant té un subconjunt d'atributs que satisfan la política de signatures. El verificador no obtindrà cap informació sobre la identitat del signatari o sobre els atributs que té. Aquest tipus de signatures té moltes aplicacions en situacions de la vida real que demanden autenticació i privacitat al mateix temps. L'habilitat per revocar usuaris que s'han comportat malament o han perdut els seus atributs i ja no poden computar més signatures vàlides, és molt desitjable per a aplicacions de signatures basades en atributs en la vida real. En aquest projecte, el principal objectiu consisteix a estudiar diferents protocols de revocació i incorporar-los en un esquema signatura RSA basada en atributs ja existent. Per poder aconseguir aquests objectius, dos protocols van ser triats entre els disponibles en la literatura existent, tenint en compte l'eficiència dels protocols existents i la necessitat que el protocol hagi estat construït de manera anònima: l'usuari no pot revelar la seva identitat en el moment de provar que ell no està en la llista de revocació. El primer protocol està basat en un argument d'avaluació de polinomis, i algun dels seus principals avantatges és que té cost de comunicació logarítmica en el nombre d'usuaris revocats en contrast amb altres protocols amb complexitat cúbica en el millor cas, per tant s'obté un protocol més eficient i a més la seva seguretat depèn solament de la conjectura del logaritme discret. El segon protocol està basat en un protocol per a situacions especials quan els elements de la llista de revocació són coprimers, com en la signatura basada en atributs els elements són primers, aquest protocol va ser considerat com a adient. Mentre s'estava demostrant la solidesa del protocol ens vam adonar que el protocol original no era segur perquè vam trobar un atac (que està descrit en el projecte). Per tant, un nou protocol segur va ser dissenyat que serveix per a la signatura basada en atributs. Finalment, els protocols previs han sigut incorporats a la signatura RSA basada en atributs existent, i les dues signatures resultants han sigut analitzades en termes de l'eficiència del cost de comunicació. El segon protocol es demostra que sempre és més eficient que el primer, fins i tot en el cas d'un sol usuari revocat

Numerical analysis of the fluid flow and heat transfer of a hybrid PV-thermal collector and performance assessment

In recent years, new materials and absorber configurations have been proposed to improve the performance of hybrid photovoltaic-thermal (PV-T) collectors. This work analyses the fluid flow and the energy performance of an uncovered water-based PV-T collector with a roll-bond thermal absorber. A detailed CFD model was developed and the results were compared with the experimental performance features provided by the PV-T manufacturer. The fluid flow results show uneven flow distribution among the roll-bond microchannels which leads to areas with larger PV cell temperatures and thus a lower electricity generation. The PV-T collector layers were also modelled using the energy transfer equations layer-by-layer. The model was run for several water inlet temperatures and water flow-rates to obtain the thermal performance curve. The results show that the electrical efficiency of the PV-T collector is 14.5–10.3% larger than for a PV-only system for water inlet temperatures of 20–30 °C, respectively. The developed CFD model reproduces accurately the thermal performance of the PV-T collector, with a maximum error of 6.5% for inlet water temperatures of 20–60 °C. Therefore, this model can be used with confidence to propose alternative designs that achieve a homogeneous temperature distribution in the PV layer and improve the overall PV-T collector performance

Opening up the training of education practitioners to the field of MOOC. Results of a research project at the Universities of Cantabria and Oviedo

En el artículo se presentan los resultados de una investigación centrada en acercar el debate académico sobre los MOOC a las titulaciones de educación superior, tratando con ello de poner a dialgoar a los estudios del currículum y a las tecnologías educativas. El objetivo fue realizar un análisis pedagógico de cursos MOOC ofertados en castellano y de temática pedagógica que finalizase con la elaboración de una Guía de Buenas Prácticas con MOOC. En la investigación, de corte cualitativo, se utilizaron técnicas de recogida de datos como las observaciones, diarios de campo, grupos de discusión y entrevistas. El trabajo se estructuró en tres grandes fases y se ha desarrollado durante un año en las Facultades de Educación de las Universidades de Cantabria y Oviedo (junio 2014- junio 2015). Su desarrollo ha sido posible en el marco de un Proyecto de Innovación Docente concedido por el Vicerrectorado de Profesorado de la Universidad de Cantabria. Los resultadosmuestran la importancia que ha tenido el trabajo de análisis realizado con los estudiantes en el marco de varias asignaturas de las titulaciones de educación, tanto por los resultados obtenidos como por el proceso de trabajo desarrollado. Se concluye que es necesario acercar el fenómeno de los MOOC a los estudios educativos, ampliando el horizonte de los mismos con el abordaje de nuevos fenómenos sociales y educativos, así como realizar un análisis crítico de este tipo de formación on-line que no solamente tenga en cuenta factores tecnológicos o económicos, sino también elementos pedagógicos. Al mismo tiempo, el proyecto ha servido para generar procesos de coordinación docente en las titulaciones implicadas y ha ayudado a la creación de una comunidad de práctica.This paper presents the results of a research project focused on bringing the academic debate on MOOC to higher education courses, with the aim of raising the issue of curriculum studies and educational technologies. The main objective of this study was to carry out a pedagogic analysis of MOOC courses offered in Castellano on educational/pedagogic subjects in order to create a Guide to Good Practices in MOOC. This study was based on qualitative research methodology and techniques such as observations, field diaries, discussion groups and interviews were used to gather data. The project was divided into three phases and took place over one year in the Faculties of Education at the Universities of Cantabria and Oviedo (June 2014 – June 2015). It was developed within the framework of an Education Innovation Project awarded by the Vice-Rectorate for Teaching at the University of Cantabria. The results show the significance of the analysis work carried out with students in various educational courses, both in terms of the results obtained and the work developed. One of the main conclusions of this study identifies the need to bring the phenomenon of MOOC to educational studies and for these studies to address new social and educational issues. It also highlights the need for a critical analysis of this type of on-line training which not only takes into account technological or economic factors, but also pedagogic aspects. Furthermore, this project has led to the coordination of teaching processes in the subjects involved and has helped create a community of practice

Transcultural adaptation and validation of the Celiac Dietary Adherence Test. A simple questionnaire to measure adherence to a gluten-free diet

Background and aims: A gluten-free diet is to date the only treatment available to celiac disease sufferers. However, systematic reviews indicate that, depending on the method of evaluation used, only 42% to 91% of patients adhere to the diet strictly. Transculturally adapted tools that evaluate adherence beyond simple self-informed questions or invasive analyses are, therefore, of importance. The aim is to obtain a Spanish transcultural adaption and validation of Leffler’s Celiac Dietary Adherence Test. Methods: A two-stage observational transversal study: translation and back translation by four qualified translators followed by a validation stage in which the questionnaire was administered to 306 celiac disease patients aged between 12 and 72 years and resident in Aragon. Factorial structure, criteria validity and internal consistency were evaluated. Results: The Spanish version maintained the 7 items in a 3-factor structure. Reliability was very high in all the questions answered and the floor and ceiling effects were very low (4.3% and 1%, respectively). The Spearman correlation with the self-efficacy and life quality scales and the self-informed question were statistically significant (p < 0.01). According to the questionnaire criteria, adherence was 72.3%. Conclusion: The Spanish version of the Celiac Dietary Adherence Test shows appropriate psychometric properties and is, therefore, suitable for studying adherence to a gluten-free diet in clinical and research environments

Protocolo para el diseño de una escala específica de auto-eficacia en la adherencia a una dieta sin gluten: Escala de celiaquía y auto-eficacia

Background: Celiac disease is a chronic autoimmune disorder consisting of a permanent intolerance for gluten, with a prevalence of 1%, for which the only treatment to date is to follow a strict gluten free diet for life. Lack of adherence to this treatment is related to severe health problems while compliance leads to normalization. Recently, self-efficacy has been associated with self-management behaviors in chronic disease and health status in many fields.Aims: To construct and validate a self-administered scale to measure self-efficacy in adherence to gluten free diet in the different areas a patient with celiac disease must face everyday.Material and Methods: For the validation phase, the research team aims to recruit 500 celiac individuals over 12 years of age from primary care services and patient associations. The scale will be designed to explore specific self efficacy to adhere to a gluten free diet in the following areas: purchases, eating out, eating at home with others, travelling and at work or school. An expert panel will be conducted to assure quality of the items and utility of the scale. The preliminary form will be tested in as many pilot studies as necessary. An exploratory factor analysis will be applied to study construct validity while concurrent validity will be measured with the correlation coefficient between the new instrument and the Baessler and Schwarzer General Self Efficacy Scale. The reliability of the instrument as well as that of each of the factors extracted from the prior analysis will be analyzed using Cronbach’s alpha internal consistency coefficient. Two weeks later, the scale will be administered to, at least, one third of the sample as a retest in the validation process and to allow for confirmatory factor analysis.Results: This research will design, develop and validate a questionnaire for two types of measures: A score for Self-Efficacy for the management of celiac disease, and a score of self-efficacy for each of the identified key areas. This research will result in the first scale to assess specific self efficacy while following a strict gluten free diet and will allow further research in the role that this expectation may play in patient´s adherence to the unique treatment developed to date and it may be useful in both clinical and research settings. The new scale will be easy to apply and it is expected to have a higher predictive value than instruments assessing general self-efficacy.Conclusions: This questionnaire will be the first of its kind to determine levels of self-efficacy for adherence to gluten free diet and will help to the design of self-management interventions for celiac patients.Antecedentes: La enfermedad celíaca es un trastorno autoinmune crónico, caracterizado por una intolerancia permanente al gluten, con una prevalencia del 1%, y para la que el único tratamiento hasta la fecha consiste en seguir una dieta estricta libre de gluten de por vida. La falta de adherencia a este tratamiento está relacionada con problemas de salud graves, mientras que el cumplimiento conduce a la normalización. Recientemente, la auto-eficacia se ha asociado con comportamientos de autogestión de las enfermedades crónicas y el estado de salud en muchos campos.Objetivos: Diseñar y validar una escala para medir la auto-eficacia en la adherencia a una dieta libre de gluten en los diferentes ámbitos a los que se enfrentan todos los días los pacientes con enfermedad celíaca.Material y Métodos: Para el proceso de validación, el equipo de investigación reclutará a 500 personas diagnosticadas de enfermedad celíaca, de más de 12 años de edad, a partir de los servicios de atención primaria y las asociaciones de pacientes. Se diseñará una escala para explorar la autoeficacia específica en la adherencia a una dieta sin gluten en las siguientes áreas: compras, comer fuera de casa, comer en casa con otros, viajar y comer en el trabajo o en el colegio. Se llevará a acabo un panel de expertos para asegurar la calidad de los ítems y la utilidad de la escala. Se realizarán los estudios piloto que sean necesarios para su mejora y se analizará su validez de constructo mediante un análisis factorial exploratorio mientras que la validez concurrente será medida mediante su correlación con la adaptación española del General Self Efficacy Scale de Baessler y Schwarzer. La fiabilidad del instrumento, así como de cada uno de los factores, será determinada utilizando el coeficiente alfa de Cronbach de consistencia interna. Dos semanas más tarde, la escala será administrada a, al menos, un tercio de la muestra para obtener una fiabilidad test-retest y para permitir un análisis factorial confirmatorio.Resultados: Se espera diseñar, construir y validar un cuestionario que permita producir dos tipos de medidas: una valoración especifica la auto-eficacia percibida en el manejo de la enfermedad celíaca, y una valoración de la auto-eficacia para cada una de las áreas clave identificadas. Esta investigación proporcionará la primera escala para evaluar la autoeficacia específica para la adherencia a la dieta sin gluten de importante utilidad en entornos tanto clínicos como de investigación. Se prevé que su valor predictivo sea superior a medidas generales de la expectativa de autoeficacia.Conclusiones: Este cuestionario será el primero capaz de determinar los niveles de auto-eficacia en la adherencia a la dieta libre de gluten y ayudará en el diseño de intervenciones de auto-cuidado para pacientes celíacos